Enhanced 2-categories and limits for lax morphisms
نویسندگان
چکیده
منابع مشابه
Limits for Lax Morphisms
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.
متن کاملAbsolute Lax 2-categories
We have introduced, in a previous paper, the fundamental lax 2-category of a ‘directed space’ X. Here we show that, when X has a T1-topology, this structure can be embedded into a larger one, with the same objects (the points of X), the same arrows (the directed paths) and the same cells (based on directed homotopies of paths), but a larger system of comparison cells. The new comparison cells a...
متن کاملEffective Descent Morphisms in Categories of Lax Algebras
In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps. Introduction A morphism p : E → B in a category C with pullbacks is called effective descent if it allows a...
متن کاملHomotopy Limits for 2-categories
We study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits. 1. Quillen model structu...
متن کاملLimits in Multiple Categories ( on Weak and Lax Multiple Categories , Ii )
Continuing our first paper in this series, we study multiple limits in infinite-dimensional multiple categories. The general setting is chiral multiple categories a weak, partially lax form with directed interchanges. After defining multiple limits we prove that all of them can be constructed from (multiple) products, equalisers and tabulators all of them assumed to be respected by faces and de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2012
ISSN: 0001-8708
DOI: 10.1016/j.aim.2011.08.014